Applying RT-Z to Develop Safety-Critical Systems
نویسنده
چکیده
We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. The characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstrated by means of a case study that RT-Z satisfies these criteria.
منابع مشابه
The Relationship between Critical Thinking and Patient Safety Culture in the Nurses
Introduction: Patient safety is one of the main components of health service quality, and patient safety culture is considered as one of the necessary factors in promotion of the patients’ safety. On the other hand, the application of critical thinking skills, by developing evidence-based practices, leads to positive outcomes in patients. This study aims to determine the relationship between c...
متن کاملApplying Frequency Response method for contact Rails Fault Diagnosing in Ungrounded Electrical Railway System
Abstract General faults in regular electrical railways system could be detect by implementing the specific protection functions such as ground fault or sensitive earth fault. Otherwise, in ungrounded electrical railway systems which using both feeding and return contact rail at the same time, fault detection cannot done with above-mentioned function. Due to recent growth in electrical railway ...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملA Healthcare Case Study ( Extended abstract ) The MATISSE - project
Within our healthcare case study we develop a safety-critical drug discovery system. When developing safety-critical systems, it is necessary to satisfy not only functional requirements defining the set of tasks to be performed by the system, but also safety requirements describing which characteristics the system should possess in order to ensure proper safety. Safety and reliability are acute...
متن کاملModeling Safety-Critical Systems with Z and Petri Nets
We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.
متن کامل